// Written by me.